Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... / Programming and Software Engineering)
by
ISBN 13: 9783540291893
Format: Paperback (570 pages) Publisher: Springer Published: 26 Sep 2005
Save for later
Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings: 9965 (Lecture Notes in Computer Science)
by Augusto Sampaio,Farn Wang
ISBN 13: 9783319467498
Format: Paperback (500 pages) Publisher: Springer Published: 22 Sep 2016